|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Model Advisor Report - PruebaSS.slx | |
| Simulink version: 10.5 | Model version: 1.387 |
| System: PruebaSS | Current run: 07-Sep-2022 12:57:46 |
| Treat as Referenced Model: off | |
| Incomplete | Failed | Warning | Justified | Passed | Not Run | Total | |
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
1863 |
Identify Simscape blocks with ambiguous setting of parameter units. For example, a block parameter expected in 'Hz' may be specified in the dialog with unit of 'rad/s'. Such settings could lead to unexpected conversion factors applied to the numerical value.
Passed
No Simscape blocks with ambiguous unit setting found in the model.
Lists all the Data Store Memory blocks which do not resolve to Simulink signal
Passed
_________________________________________________________________________________________
Checks if model uses any Stateflow messages
Passed
_________________________________________________________________________________________
Lists all the signal lines that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Checks if model uses row major algorithms
Passed
_________________________________________________________________________________________
Lists all the mask parameters which have Inf elements
Passed
_________________________________________________________________________________________
Lists all the blocks/events that use machine parented data
Passed
_________________________________________________________________________________________
Lists all the event based blocks that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists all the probe blocks that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists all the environment controller blocks that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists all the Stateflow charts that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists all the discrete integrator blocks that have incompatible initial conditions
Passed
_________________________________________________________________________________________
Names defined as keywords must not be used
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Open Keywords File | N/A |
The use of capital letters in object names must be clear and consistent across the project
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| alllowercase | |
| Ignore prefix | false |
Names that exceed the defined maximum name length must be avoided
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum acceptable length | 32 |
Check if function blocks have comments
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
Nesting of multiline comments must be avoided
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
The number of input variables, output variables, and in-out variables of a POU should be within a limited set
Warning
This check is not intended for the root level of the model
Recommended Action
Run this check for the subsystem level
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum number of I/O variables | 20 |
Check models for edited Model History property values
Check that parameters in the Model Properties dialog History pane use the default tags. In the MDL file format you can configure some model properties to make use of source control tool keyword substitution. If you save your model in SLX format, source control tools cannot perform keyword substitution. Any information in the model file from such keyword substitution is cached when you first save the MDL file as SLX, and is never updated again. The Model Properties History pane and any Model Info blocks in your model show stale information from then on.
Passed
This model uses the default value for property ModifiedByFormat.
Passed
This model uses the default value for property ModifiedDateFormat.
Passed
This model uses the default value for property ModelVersionFormat.
Check optimization settings
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Use bitsets for storing state configuration (StateBitsets) | off | on |
| Warning | Use bitsets for storing Boolean data (DataBitsets) | off | on |
Check the model for blocks configured for one-based indexing
Warning
The following blocks use one-based indexing:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Block not supported for code generation
Warning
The following blocks are not supported or not recommended for C/C++ production code deployment:
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify configuration parameters that might impact secure coding standards compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Block not supported for code generation
Warning
The following blocks are not supported or not recommended for C/C++ production code deployment:
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Warning
To check for upgrade issues, open the Upgrade Advisor.
Recommended Action
Click the link below to close the Model Advisor and open the Upgrade Advisor for PruebaSS.
Open the Upgrade Advisor
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Warning
The following Gain blocks have value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
| Block Path | Expression |
|---|---|
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... |
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of data type property set to 'Inherit: Same as Simulink' or 'Inherit: From definition in chart':
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of complexity property set to 'Inherited':
Identify MATLAB Functions that violate code and complexity metrics.
Warning
The following MATLAB Function blocks were found to violate code and complexity metrics:
| Block Path | Expression | Description |
|---|---|---|
| ..../Subsystem1/Sensor Ultrasónico 1 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 2 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 3 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 4 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 5 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 6 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 7 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Esquema de Evasión | function [wr_out,wl_out] = fcn(dis)... | Density of Comments = 0.14634. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Identificar Obstáculo | function On_Off = fcn(dis)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../IdentificarRampa/MATLAB Function1 | function [d,i] = fcn(R_Pose,Rampa_P,Rampa2,Rampa3)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/check-goal/MATLAB Function | function distanceGoal = fcn(posexy,goal)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... | Density of Comments = 0.083333. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/DOF/theta_act | function [z,y,x] = fcn(u)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Promedio | function [wr,wl] = Promedio(w1,w2,w3,w4)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Rot 2 eul | function z = fcn(R)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Vlineal | function v = fcn(vx,vy)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following MATLAB functions do not link to a requirements document:
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: PruebaSS
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Warning
The following Gain blocks have value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
| Block Path | Expression |
|---|---|
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... |
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following MATLAB functions do not link to a requirements document:
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 49 |
| Outport | 52 |
| SubSystem | 77 |
| MATLAB Function | 16 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 269 |
| PMIOPort | 210 |
| SubSystem | 77 |
| Outport | 52 |
| Inport | 49 |
| Constant | 28 |
| Display | 23 |
| From | 20 |
| Mux | 17 |
| MATLAB Function Block | 16 |
| Goto | 16 |
| Gain | 15 |
| Scope | 7 |
| Sum | 6 |
| Demux | 5 |
| SimscapeBus | 5 |
| Switch | 4 |
| ConnectionLabel | 4 |
| Integrator | 4 |
| TransferFcn | 4 |
| Saturate | 3 |
| Math | 3 |
| UnitDelay | 3 |
| DataTypeConversion | 2 |
| MATLABSystem | 2 |
| Clock | 2 |
| RelationalOperator | 2 |
| Logic | 2 |
| ToWorkspace | 2 |
| Product | 1 |
| Selector | 1 |
| EnablePort | 1 |
| Sqrt | 1 |
| Terminator | 1 |
Stateflow
| Stateflow construct | Count |
|---|---|
| Stateflow Data | 112 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 7
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: PruebaSS
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Warning
The following Gain blocks have value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
| Block Path | Expression |
|---|---|
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... |
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of data type property set to 'Inherit: Same as Simulink' or 'Inherit: From definition in chart':
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of complexity property set to 'Inherited':
Identify MATLAB Functions that violate code and complexity metrics.
Warning
The following MATLAB Function blocks were found to violate code and complexity metrics:
| Block Path | Expression | Description |
|---|---|---|
| ..../Subsystem1/Sensor Ultrasónico 1 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 2 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 3 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 4 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 5 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 6 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 7 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Esquema de Evasión | function [wr_out,wl_out] = fcn(dis)... | Density of Comments = 0.14634. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Identificar Obstáculo | function On_Off = fcn(dis)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../IdentificarRampa/MATLAB Function1 | function [d,i] = fcn(R_Pose,Rampa_P,Rampa2,Rampa3)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/check-goal/MATLAB Function | function distanceGoal = fcn(posexy,goal)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... | Density of Comments = 0.083333. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/DOF/theta_act | function [z,y,x] = fcn(u)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Promedio | function [wr,wl] = Promedio(w1,w2,w3,w4)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Rot 2 eul | function z = fcn(R)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Vlineal | function v = fcn(vx,vy)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following MATLAB functions do not link to a requirements document:
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 49 |
| Outport | 52 |
| SubSystem | 77 |
| MATLAB Function | 16 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 269 |
| PMIOPort | 210 |
| SubSystem | 77 |
| Outport | 52 |
| Inport | 49 |
| Constant | 28 |
| Display | 23 |
| From | 20 |
| Mux | 17 |
| MATLAB Function Block | 16 |
| Goto | 16 |
| Gain | 15 |
| Scope | 7 |
| Sum | 6 |
| Demux | 5 |
| SimscapeBus | 5 |
| Switch | 4 |
| ConnectionLabel | 4 |
| Integrator | 4 |
| TransferFcn | 4 |
| Saturate | 3 |
| Math | 3 |
| UnitDelay | 3 |
| DataTypeConversion | 2 |
| MATLABSystem | 2 |
| Clock | 2 |
| RelationalOperator | 2 |
| Logic | 2 |
| ToWorkspace | 2 |
| Product | 1 |
| Selector | 1 |
| EnablePort | 1 |
| Sqrt | 1 |
| Terminator | 1 |
Stateflow
| Stateflow construct | Count |
|---|---|
| Stateflow Data | 112 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 7
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: PruebaSS
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Warning
The following Gain blocks have value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
| Block Path | Expression |
|---|---|
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... |
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of data type property set to 'Inherit: Same as Simulink' or 'Inherit: From definition in chart':
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of complexity property set to 'Inherited':
Identify MATLAB Functions that violate code and complexity metrics.
Warning
The following MATLAB Function blocks were found to violate code and complexity metrics:
| Block Path | Expression | Description |
|---|---|---|
| ..../Subsystem1/Sensor Ultrasónico 1 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 2 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 3 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 4 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 5 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 6 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 7 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Esquema de Evasión | function [wr_out,wl_out] = fcn(dis)... | Density of Comments = 0.14634. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Identificar Obstáculo | function On_Off = fcn(dis)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../IdentificarRampa/MATLAB Function1 | function [d,i] = fcn(R_Pose,Rampa_P,Rampa2,Rampa3)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/check-goal/MATLAB Function | function distanceGoal = fcn(posexy,goal)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... | Density of Comments = 0.083333. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/DOF/theta_act | function [z,y,x] = fcn(u)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Promedio | function [wr,wl] = Promedio(w1,w2,w3,w4)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Rot 2 eul | function z = fcn(R)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Vlineal | function v = fcn(vx,vy)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following MATLAB functions do not link to a requirements document:
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 49 |
| Outport | 52 |
| SubSystem | 77 |
| MATLAB Function | 16 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 269 |
| PMIOPort | 210 |
| SubSystem | 77 |
| Outport | 52 |
| Inport | 49 |
| Constant | 28 |
| Display | 23 |
| From | 20 |
| Mux | 17 |
| MATLAB Function Block | 16 |
| Goto | 16 |
| Gain | 15 |
| Scope | 7 |
| Sum | 6 |
| Demux | 5 |
| SimscapeBus | 5 |
| Switch | 4 |
| ConnectionLabel | 4 |
| Integrator | 4 |
| TransferFcn | 4 |
| Saturate | 3 |
| Math | 3 |
| UnitDelay | 3 |
| DataTypeConversion | 2 |
| MATLABSystem | 2 |
| Clock | 2 |
| RelationalOperator | 2 |
| Logic | 2 |
| ToWorkspace | 2 |
| Product | 1 |
| Selector | 1 |
| EnablePort | 1 |
| Sqrt | 1 |
| Terminator | 1 |
Stateflow
| Stateflow construct | Count |
|---|---|
| Stateflow Data | 112 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 7
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: PruebaSS
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Warning
The following Gain blocks have value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
| Block Path | Expression |
|---|---|
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... |
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of data type property set to 'Inherit: Same as Simulink' or 'Inherit: From definition in chart':
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of complexity property set to 'Inherited':
Identify MATLAB Functions that violate code and complexity metrics.
Warning
The following MATLAB Function blocks were found to violate code and complexity metrics:
| Block Path | Expression | Description |
|---|---|---|
| ..../Subsystem1/Sensor Ultrasónico 1 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 2 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 3 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 4 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 5 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 6 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 7 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Esquema de Evasión | function [wr_out,wl_out] = fcn(dis)... | Density of Comments = 0.14634. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Identificar Obstáculo | function On_Off = fcn(dis)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../IdentificarRampa/MATLAB Function1 | function [d,i] = fcn(R_Pose,Rampa_P,Rampa2,Rampa3)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/check-goal/MATLAB Function | function distanceGoal = fcn(posexy,goal)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... | Density of Comments = 0.083333. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/DOF/theta_act | function [z,y,x] = fcn(u)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Promedio | function [wr,wl] = Promedio(w1,w2,w3,w4)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Rot 2 eul | function z = fcn(R)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Vlineal | function v = fcn(vx,vy)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following MATLAB functions do not link to a requirements document:
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 49 |
| Outport | 52 |
| SubSystem | 77 |
| MATLAB Function | 16 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 269 |
| PMIOPort | 210 |
| SubSystem | 77 |
| Outport | 52 |
| Inport | 49 |
| Constant | 28 |
| Display | 23 |
| From | 20 |
| Mux | 17 |
| MATLAB Function Block | 16 |
| Goto | 16 |
| Gain | 15 |
| Scope | 7 |
| Sum | 6 |
| Demux | 5 |
| SimscapeBus | 5 |
| Switch | 4 |
| ConnectionLabel | 4 |
| Integrator | 4 |
| TransferFcn | 4 |
| Saturate | 3 |
| Math | 3 |
| UnitDelay | 3 |
| DataTypeConversion | 2 |
| MATLABSystem | 2 |
| Clock | 2 |
| RelationalOperator | 2 |
| Logic | 2 |
| ToWorkspace | 2 |
| Product | 1 |
| Selector | 1 |
| EnablePort | 1 |
| Sqrt | 1 |
| Terminator | 1 |
Stateflow
| Stateflow construct | Count |
|---|---|
| Stateflow Data | 112 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 7
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: PruebaSS
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Warning
The following Gain blocks have value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
| Block Path | Expression |
|---|---|
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... |
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of data type property set to 'Inherit: Same as Simulink' or 'Inherit: From definition in chart':
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of complexity property set to 'Inherited':
Identify MATLAB Functions that violate code and complexity metrics.
Warning
The following MATLAB Function blocks were found to violate code and complexity metrics:
| Block Path | Expression | Description |
|---|---|---|
| ..../Subsystem1/Sensor Ultrasónico 1 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 2 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 3 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 4 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 5 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 6 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 7 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Esquema de Evasión | function [wr_out,wl_out] = fcn(dis)... | Density of Comments = 0.14634. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Identificar Obstáculo | function On_Off = fcn(dis)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../IdentificarRampa/MATLAB Function1 | function [d,i] = fcn(R_Pose,Rampa_P,Rampa2,Rampa3)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/check-goal/MATLAB Function | function distanceGoal = fcn(posexy,goal)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... | Density of Comments = 0.083333. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/DOF/theta_act | function [z,y,x] = fcn(u)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Promedio | function [wr,wl] = Promedio(w1,w2,w3,w4)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Rot 2 eul | function z = fcn(R)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Vlineal | function v = fcn(vx,vy)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following MATLAB functions do not link to a requirements document:
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 49 |
| Outport | 52 |
| SubSystem | 77 |
| MATLAB Function | 16 |
Simulink
| Block Type | Count |
|---|---|
| SimscapeMultibodyBlock | 269 |
| PMIOPort | 210 |
| SubSystem | 77 |
| Outport | 52 |
| Inport | 49 |
| Constant | 28 |
| Display | 23 |
| From | 20 |
| Mux | 17 |
| MATLAB Function Block | 16 |
| Goto | 16 |
| Gain | 15 |
| Scope | 7 |
| Sum | 6 |
| Demux | 5 |
| SimscapeBus | 5 |
| Switch | 4 |
| ConnectionLabel | 4 |
| Integrator | 4 |
| TransferFcn | 4 |
| Saturate | 3 |
| Math | 3 |
| UnitDelay | 3 |
| DataTypeConversion | 2 |
| MATLABSystem | 2 |
| Clock | 2 |
| RelationalOperator | 2 |
| Logic | 2 |
| ToWorkspace | 2 |
| Product | 1 |
| Selector | 1 |
| EnablePort | 1 |
| Sqrt | 1 |
| Terminator | 1 |
Stateflow
| Stateflow construct | Count |
|---|---|
| Stateflow Data | 112 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 7
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the model
Warning
The following lines, input ports, or output ports are not properly connected in system: PruebaSS
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Warning
The following blocks are not recommended for C/C++ production code generation:
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions. Inport block properties are specified with block parameters or Simulink signal data objects that explicitly resolve to the connected signal lines.
Passed
There are no Inport blocks in the top-level of the model with missing or inherited sample times, data types, or port dimensions
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Warning
The following Gain blocks have value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify Stateflow charts that do not use explicit ordering of parallel states and transitions.
Passed
No Stateflow Charts found that deviate from recommended state/transition execution order settings.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Simulation range checking (SignalRangeChecking) | none | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
Identify usage of standardized function headers in MATLAB function.
Warning
The following MATLAB functions use non-standard function headers:
| Block Path | Expression |
|---|---|
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... |
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of data type property set to 'Inherit: Same as Simulink' or 'Inherit: From definition in chart':
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Warning
The following MATLAB Functions have interfaces of complexity property set to 'Inherited':
Identify MATLAB Functions that violate code and complexity metrics.
Warning
The following MATLAB Function blocks were found to violate code and complexity metrics:
| Block Path | Expression | Description |
|---|---|---|
| ..../Subsystem1/Sensor Ultrasónico 1 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 2 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 3 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 4 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 5 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 6 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/Sensor Ultrasónico 7 | function val = fcn(R_Pose,r,d_in,phi,Pose_Obs)... | Density of Comments = 0.075472. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Esquema de Evasión | function [wr_out,wl_out] = fcn(dis)... | Density of Comments = 0.14634. Density of Comments should be greater than 0.2. |
| ..../Evasión_Obstaculos/Identificar Obstáculo | function On_Off = fcn(dis)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../IdentificarRampa/MATLAB Function1 | function [d,i] = fcn(R_Pose,Rampa_P,Rampa2,Rampa3)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Subsystem1/check-goal/MATLAB Function | function distanceGoal = fcn(posexy,goal)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| ..../Trapezoidal Vel Profile | function lin_Vel_out = fcn(linVel,t,t1,accel,deaccelStartTime)... | Density of Comments = 0.083333. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/DOF/theta_act | function [z,y,x] = fcn(u)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Promedio | function [wr,wl] = Promedio(w1,w2,w3,w4)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Rot 2 eul | function z = fcn(R)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
| PruebaSS/ROBOT SS1/Subsystem/Vlineal | function v = fcn(vx,vy)... | Density of Comments = 0. Density of Comments should be greater than 0.2. |
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Pass fixed-size scalar root inputs by value for code generation (ModelReferencePassRootInputsByReference) * | on | on |
| Pass | Minimize algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportAbsoluteTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | VariableStepAuto | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
All constraints on model configuration parameters have been met.
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Minimize algebraic loop (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Single task data transfer (SingleTaskRateTransMsg) | none | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check block reduction optimization settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | on | off |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Passed
Target specification is consistent.
Check whether 'Production hardware' and 'Test hardware' match
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | warning | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Invalid root Inport/Outport block connection (ModelReferenceIOMsg) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following MATLAB functions do not link to a requirements document:
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | Use division for fixed-point net slope computation (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
| Warning | Leverage target hardware instruction set extensions (InstructionSetExtensions) | SSE2 | None |
Display number of blocks in the model or subsystem.
Passed
Display number of Subsystems in the model or subsystem.
Passed
Display number of library links in the model or subsystem.
Passed
Display number of effective lines of MATLAB code.
Passed
Display number of Stateflow objects in each chart.
No metric data available. Nothing to report for this metric.
Passed
Display number of code lines for Stateflow blocks.
No metric data available. Nothing to report for this metric.
Passed
Display depth of subsystems in the model or subsystem.
Passed
Display non-descriptive names of Inport, Outport and Subsystem blocks.
Passed
Display data and structure layer separation, defined by MAB modeling guideline db_0143.
Passed
Characters allowed for file names
Warning
The following files have invalid names:
Characters allowed for folder names
Warning
The following folders have invalid names:
Characters allowed for subsystem names
Warning
The following subsystems have invalid names:
Single Reserved MATLAB word
Warning
The following port blocks have reserved MATLAB words as the port block name:
Characters allowed for port block names
Warning
The following port blocks have invalid names:
Characters allowed for block names
Warning
The following blocks have invalid names:
Single reserved MATLAB word
Warning
The following blocks have reserved MATLAB words as the block name:
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Check length of signal and bus names
Passed
All signal and bus names are valid.
Single reserved MATLAB word
Warning
The following Stateflow data have reserved MATLAB words as the name:
Check if the length of Stateflow data names are within limit.
Passed
All Stateflow data names are valid.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
Identify usage of reserved keywords in MATLAB Function blocks.
Warning
Variable names conflict with reserved keywords
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
jc_0642: Integer rounding mode setting
Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.
Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify diagnostic parameters that are set to none.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error, warning |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error, warning |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | none | error, warning |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | none | error, warning |
| Warning | Unconnected line (UnconnectedLineMsg) | none | error, warning |
Identify nonstandard display attributes in Simulink diagrams.
_________________________________________________________________________________________
Check format settings
Identify incorrect model-level format options.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Modeling > Environment > Model Browser | off | on |
| Debug > Information Overlays > Show All Links | none | disabled |
Check block colors
Identify blocks using nonstandard colors.
Passed
All blocks use standard colors.
_________________________________________________________________________________________
Check canvas colors
Identify canvases that are not white.
Passed
All diagrams use a white canvas.
_________________________________________________________________________________________
Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor
Warning
The following diagrams do not have zoom factor set to 100 percent:
Check font size in Simulink block and signal names
Warning
The font size of the following Simulink block or signal names are different from input parameters:
Incorrect block name position
Warning
The following blocks have names that do not display below the blocks:
Identify whether to display block names.
Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.
Passed
All blocks with obvious behavior have hidden names.
Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.
Passed
All displayed names provide descriptive information.
Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.
Warning
The following blocks have descriptive names, however, the names are hidden:
Identify blocks that use and fail to display nondefault values.
Warning
The following blocks use and fail to display nondefault values:
| Block | Parameter | Expected Value | Actual Value |
|---|---|---|---|
| ..../Cinemática Inversa/Saturation | UpperLimit | 0.5 | 15 |
| ..../Cinemática Inversa/Saturation | LowerLimit | -0.5 | -15 |
| ..../Cinemática Inversa/Saturation | LinearizeAsGain | on | off |
| ..../Cinemática Inversa/Saturation1 | UpperLimit | 0.5 | 15 |
| ..../Cinemática Inversa/Saturation1 | LowerLimit | -0.5 | -15 |
| ..../Cinemática Inversa/Saturation1 | LinearizeAsGain | on | off |
| ..../Evasión_Obstaculos/Switch | Threshold | 0 | 1 |
| ..../Motion Planning/Saturation | UpperLimit | 0.5 | 5 |
| ..../Motion Planning/Saturation | LowerLimit | -0.5 | -5 |
| ..../Motion Planning/Saturation | LinearizeAsGain | on | off |
| ..../Motion Planning/Switch1 | Threshold | 0 | 1 |
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have consistent model description format:
Check if blocks are shaded in the model
Passed
Blocks in the model are not shaded.
Check for unconnected subsystems and basic blocks
Warning
The following blocks in the model are not connected:
Check for unconnected signal lines
Warning
The following signal lines in the model are not connected:
Check signal intersections
Warning
The following signals intersect with other signals in the diagram:
Check signal overlaps
Warning
The following signals overlap with other signals in the diagram:
Check if signal lines are split into multiple sublines
Warning
The following signal lines are split into multiple sublines:
Check placement of parallel blocks
Warning
The following groups of blocks are not arranged from top to bottom:
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Warning
The following blocks have tunable parameters that specify expressions, data type conversions, or indexing operations:
Check if model elements connected to a signal are following consistent naming.
Passed
Model elements connected to a signal are following consistent names.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Warning
The following level(s) in the model include basic blocks and subsystems:
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Prohibited sink blocks
Warning
The following discrete controllers contain sink blocks:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check source block labels
Warning
The following signals have no label:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check destination block labels
Warning
The following signals have no label:
Check Signal name propagation for subsystems
Warning
The following subsystems do not have propagated signal labels:
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check source block labels
Warning
The following signals have no label:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check destination block labels
Warning
The following signals have no label:
Check for Zero-Based Indexing Mode.
Warning
The following blocks or charts have One-Based Indexing mode:
Check block orientation
Warning
The following blocks have rotated or reversed orientation:
Check if tunable block parameters are defined as named constants
Warning
The following tunable block parameters are not defined as named constants.
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Check shape of Sum block
Warning
Following Sum blocks are "round" shaped but are not part of a feedback loop:
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
Identify block parameter violations.
Warning
The following blocks have block parameter violations:
| Block | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| ..../Seguidor de Camino/Subsystem1/NOT | IconShape | distinctive | rectangular |
| ..../Seguidor de Camino/hold/NOT1 | IconShape | distinctive | rectangular |
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
All Relational Operator blocks with constant input values are configured correct.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0651: Implementing a type conversion
Identify operation blocks that specify output data type.
Warning
Following operation blocks explicitly specify output data type:
Check positions of Outport blocks
Warning
The following Outport blocks are not placed to the extreme right side of the diagram:
Check positions of Inport blocks
Warning
The following Inport blocks are not placed to the extreme left side of the diagram:
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify states which are the only substate within a state with OR(exclusive) type decomposition.
Passed
All states with OR(exclusive) type decomposition have more than one substate.
Substates of parallel states should not be parallel states.
Passed
All Stateflow Charts pass the check.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify transitions ending on external child states.
Passed
No direct transitions found from external state to child state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Internal transition lines should start from the left edge of the state.
Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
State actions and flow charts should not be combined in states.
Passed
No Stateflow states were found that combine state action and flow chart.
Identify transitions in Stateflow flow charts that are drawn incorrectly.
Passed
All Stateflow transitions in flow charts are drawn correctly.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Check if the action language of Stateflow charts is set to 'C'.
Passed
All Stateflow Charts have action language set to 'C'.
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State and Stateflow Data that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.
Passed
All state entries found are correctly formatted.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state.
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State and Stateflow Data that have identical names in a given chart.
Passed
No Stateflow charts were found.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No global variables found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Warning
The following MATLAB Functions have interfaces with inherited complexity, data type, or size properties:
Identify MATLAB Functions with high number of effective lines of code.
Passed
No MATLAB Function found with high number of effective lines of code.
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Identify nested if/else and case statements in MATLAB Functions.
Passed
No MATLAB Function found with deeply nested if/else and case statements.
Identify usage of strings in MATLAB Function blocks.
Passed
No character vectors found in MATLAB Function block
Characters allowed for file names
Warning
The following files have invalid names:
Characters allowed for folder names
Warning
The following folders have invalid names:
Characters allowed for subsystem names
Warning
The following subsystems have invalid names:
Single Reserved MATLAB word
Warning
The following port blocks have reserved MATLAB words as the port block name:
Characters allowed for port block names
Warning
The following port blocks have invalid names:
Characters allowed for block names
Warning
The following blocks have invalid names:
Single reserved MATLAB word
Warning
The following blocks have reserved MATLAB words as the block name:
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Warning
The following level(s) in the model include basic blocks and subsystems:
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify nonstandard display attributes in Simulink diagrams.
_________________________________________________________________________________________
Check format settings
Identify incorrect model-level format options.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Modeling > Environment > Model Browser | off | on |
| Debug > Information Overlays > Show All Links | none | disabled |
Check block colors
Identify blocks using nonstandard colors.
Passed
All blocks use standard colors.
_________________________________________________________________________________________
Check canvas colors
Identify canvases that are not white.
Passed
All diagrams use a white canvas.
_________________________________________________________________________________________
Check diagram zoom
Identify diagrams that do not have zoom factor set to 100 %.
Note: Zoom factors can differ for each instance of a model diagram opened in Simulink Editor
Warning
The following diagrams do not have zoom factor set to 100 percent:
Check font size in Simulink block and signal names
Warning
The font size of the following Simulink block or signal names are different from input parameters:
Check positions of Outport blocks
Warning
The following Outport blocks are not placed to the extreme right side of the diagram:
Check positions of Inport blocks
Warning
The following Inport blocks are not placed to the extreme left side of the diagram:
Incorrect block name position
Warning
The following blocks have names that do not display below the blocks:
Identify whether to display block names.
Check for blocks with hidden names and obvious function
Identify block names that are displayed but can be hidden due to obvious behavior.
Passed
All blocks with obvious behavior have hidden names.
Check for non-descriptive displayed block names
Identify block names that are displayed but should be hidden due to a lack of a descriptive name.
Passed
All displayed names provide descriptive information.
Check for missing block names
Identify block names that are hidden but should be displayed to show a descriptive name.
Warning
The following blocks have descriptive names, however, the names are hidden:
Identify blocks that use and fail to display nondefault values.
Warning
The following blocks use and fail to display nondefault values:
| Block | Parameter | Expected Value | Actual Value |
|---|---|---|---|
| ..../Cinemática Inversa/Saturation | UpperLimit | 0.5 | 15 |
| ..../Cinemática Inversa/Saturation | LowerLimit | -0.5 | -15 |
| ..../Cinemática Inversa/Saturation | LinearizeAsGain | on | off |
| ..../Cinemática Inversa/Saturation1 | UpperLimit | 0.5 | 15 |
| ..../Cinemática Inversa/Saturation1 | LowerLimit | -0.5 | -15 |
| ..../Cinemática Inversa/Saturation1 | LinearizeAsGain | on | off |
| ..../Evasión_Obstaculos/Switch | Threshold | 0 | 1 |
| ..../Motion Planning/Saturation | UpperLimit | 0.5 | 5 |
| ..../Motion Planning/Saturation | LowerLimit | -0.5 | -5 |
| ..../Motion Planning/Saturation | LinearizeAsGain | on | off |
| ..../Motion Planning/Switch1 | Threshold | 0 | 1 |
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Check for unconnected subsystems and basic blocks
Warning
The following blocks in the model are not connected:
Check for unconnected signal lines
Warning
The following signal lines in the model are not connected:
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
All Relational Operator blocks with constant input values are configured correct.
Check for Zero-Based Indexing Mode.
Warning
The following blocks or charts have One-Based Indexing mode:
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Warning
The following blocks have tunable parameters that specify expressions, data type conversions, or indexing operations:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check source block labels
Warning
The following signals have no label:
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Check destination block labels
Warning
The following signals have no label:
Check Signal name propagation for subsystems
Warning
The following subsystems do not have propagated signal labels:
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0642: Integer rounding mode setting
Identifies blocks with block parameter 'Integer Rounding Mode' set to 'Simplest' when the configuration parameter 'Signed integer division rounds to' is set to 'Undefined'.
Passed
Configuration parameter 'Signed integer division rounds to' is not set to 'Undefined'.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Check block orientation
Warning
The following blocks have rotated or reversed orientation:
Check if blocks are shaded in the model
Passed
Blocks in the model are not shaded.
Identify block parameter violations.
Warning
The following blocks have block parameter violations:
| Block | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| ..../Seguidor de Camino/Subsystem1/NOT | IconShape | distinctive | rectangular |
| ..../Seguidor de Camino/hold/NOT1 | IconShape | distinctive | rectangular |
Check if tunable block parameters are defined as named constants
Warning
The following tunable block parameters are not defined as named constants.
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
jc_0651: Implementing a type conversion
Identify operation blocks that specify output data type.
Warning
Following operation blocks explicitly specify output data type:
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have consistent model description format:
Check if model elements connected to a signal are following consistent naming.
Passed
Model elements connected to a signal are following consistent names.
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Check shape of Sum block
Warning
Following Sum blocks are "round" shaped but are not part of a feedback loop:
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check placement of parallel blocks
Warning
The following groups of blocks are not arranged from top to bottom:
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Check signal intersections
Warning
The following signals intersect with other signals in the diagram:
Check signal overlaps
Warning
The following signals overlap with other signals in the diagram:
Check if signal lines are split into multiple sublines
Warning
The following signal lines are split into multiple sublines:
Identify transitions in Stateflow flow charts that are drawn incorrectly.
Passed
All Stateflow transitions in flow charts are drawn correctly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.
Passed
All state entries found are correctly formatted.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify the Scope value set on Stateflow data defined at machine level.
Passed
All Stateflow data at machine level has been defined as per guideline.
Identify MATLAB expressions that are not suitable for code generation in Stateflow blocks.
Passed
No Stateflow objects found using MATLAB expressions unsuitable for code generation.
Identify pointer operations on custom code variables.
Note: This check applies only to Stateflow charts that use C as the action language.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State and Stateflow Data that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Condition action in transition label
Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
State actions and flow charts should not be combined in states.
Passed
No Stateflow states were found that combine state action and flow chart.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
Internal transition lines should start from the left edge of the state.
Passed
No Stateflow transitions found that violate the guidelines for starting point of internal transition in Stateflow.
Substates of parallel states should not be parallel states.
Passed
All Stateflow Charts pass the check.
jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state.
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Check if the action language of Stateflow charts is set to 'C'.
Passed
All Stateflow Charts have action language set to 'C'.
Single reserved MATLAB word
Warning
The following Stateflow data have reserved MATLAB words as the name:
Check if the length of Stateflow data names are within limit.
Passed
All Stateflow data names are valid.
Identify transitions ending on external child states.
Passed
No direct transitions found from external state to child state.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check for calls between graphical functions.
Passed
No calls between graphical functions were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Usage of Simulink Functions in Stateflow.
Passed
All Simulink Functions in Stateflow are defined according to the guideline.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Warning
The following MATLAB Functions have interfaces with inherited complexity, data type, or size properties:
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No global variables found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Verify 'Use dynamic memory allocation for model initialization' setting
Check whether Code Generation > Interface > Use dynamic memory allocation for model initialization is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Shared code placement' setting
Check whether Code Generation > Interface > Shared code placement is set to 'Shared location'.
Warning
Code Generation > Interface > Shared code placement is not set to 'Shared location' .
Recommended Action
Set Code Generation > Interface > Shared code placement to 'Shared location' .
_________________________________________________________________________________________
Verify 'Additional code' setting
Check whether Code Generation > Custom Code > Additional code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Additional code is set to "".
_________________________________________________________________________________________
Verify 'Include headers' setting
Check whether Code Generation > Custom Code > Include headers is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Include headers is set to "".
_________________________________________________________________________________________
Verify 'Initialize code' setting
Check whether Code Generation > Custom Code > Initialize code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Initialize code is set to "".
_________________________________________________________________________________________
Verify 'Terminate code' setting
Check whether Code Generation > Custom Code > Terminate code is set to "" (i.e. unspecified).
Passed
Code Generation > Custom Code > Terminate code is set to "".
_________________________________________________________________________________________
Verify 'Disable incompatible optimizations' setting
Check whether Code Generation > Optimization > Disable incompatible optimizations is set to '-SLCI'.
Warning
Code Generation > Optimization > Disable incompatible optimizations is not set to '-SLCI' .
Recommended Action
Set Code Generation > Optimization > Disable incompatible optimizations to '-SLCI' .
_________________________________________________________________________________________
Verify 'Combine signal/state structures' setting
Check whether Code Generation > Interface > Combine signal/state structures is cleared.
Passed
Code Generation > Interface > Combine signal/state structures is cleared.
_________________________________________________________________________________________
Verify 'Array layout' setting
Check whether Code Generation > Interface > Array layout is set to 'Column-major'.
Passed
Code Generation > Interface > Array layout is set to 'Column-major'.
_________________________________________________________________________________________
Verify 'Remove code from floating-point to integer conversions that wraps out-of-range values' setting
Check whether Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values is selected.
Warning
Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values is cleared.
Recommended Action
Select the Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values checkbox.
_________________________________________________________________________________________
Verify 'Remove code from floating-point to integer conversions with saturation that maps NaN to zero' setting
Check whether Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero is cleared.
Warning
Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero is selected.
Recommended Action
Clear the Code Generation > Optimization > Remove code from floating-point to integer conversions with saturation that maps NaN to zero checkbox.
_________________________________________________________________________________________
Verify 'Include comments' setting
Check whether Code Generation > Comments > Include comments is selected.
Passed
Code Generation > Comments > Include comments is selected.
_________________________________________________________________________________________
Verify 'Preserve condition expression in if statement' setting
Check whether Code Generation > Code Style > Preserve condition expression in if statement is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Code replacement library' setting
Check whether Code Generation > Interface > Code replacement library is set to 'None'.
Passed
Code Generation > Interface > Code replacement library is set to 'None'.
_________________________________________________________________________________________
Verify 'Language standard' setting
Check whether Code Generation > Language standard is set to 'C89/C90 (ANSI)' or 'C99 (ISO)'.
Passed
Code Generation > Language standard is set to 'C89/C90 (ANSI)' or 'C99 (ISO)'.
_________________________________________________________________________________________
Verify 'Classic call interface' setting
Check whether Code Generation > Interface > Classic call interface is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Terminate function required' setting
Check whether Code Generation > Interface > Terminate function required is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Remove code that protects against division arithmetic exceptions' setting
Check whether Code Generation > Optimization > Remove code that protects against division arithmetic exceptions is cleared.
Passed
Code Generation > Optimization > Remove code that protects against division arithmetic exceptions is cleared.
_________________________________________________________________________________________
Verify 'MAT-file logging' setting
Check whether Code Generation > Interface > MAT-file logging is cleared.
Warning
Code Generation > Interface > MAT-file logging is selected.
Recommended Action
Clear the Code Generation > Interface > MAT-file logging checkbox.
_________________________________________________________________________________________
Verify 'Pack Boolean data into bitfields' setting
Check whether Code Generation > Optimization > Pack Boolean data into bitfields is cleared.
Passed
Code Generation > Optimization > Pack Boolean data into bitfields is cleared.
_________________________________________________________________________________________
Verify 'Use bitsets for storing state configuration' setting
Check whether Code Generation > Optimization > Use bitsets for storing state configuration is cleared.
Passed
Code Generation > Optimization > Use bitsets for storing state configuration is cleared.
_________________________________________________________________________________________
Verify 'non-finite numbers' setting
Check whether Code Generation > Interface > non-finite numbers is cleared.
Warning
Code Generation > Interface > non-finite numbers is selected.
Recommended Action
Clear the Code Generation > Interface > non-finite numbers checkbox.
_________________________________________________________________________________________
Verify 'absolute time' setting
Check whether Code Generation > Interface > absolute time is cleared.
Warning
Code Generation > Interface > absolute time is selected.
Recommended Action
Clear the Code Generation > Interface > absolute time checkbox.
_________________________________________________________________________________________
Verify 'Operator to represent Bitwise and Logical Operator blocks' setting
Check whether Code Generation > Optimization > Operator to represent Bitwise and Logical Operator blocks is set to 'Same as modeled' or 'Bitwise operator'.
Passed
Code Generation > Optimization > Operator to represent Bitwise and Logical Operator blocks is set to 'Same as modeled' or 'Bitwise operator'.
_________________________________________________________________________________________
Verify 'Default parameter behavior' setting
This check applies only to referenced models. Top models are compatible for all possible values of 'Default parameter behavior'.
Passed
'Default parameter behavior' setting is compatible.
_________________________________________________________________________________________
Verify 'Remove error status field in real-time model data structure' setting
Check whether Code Generation > Interface > Remove error status field in real-time model data structure is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Create block' setting
Check whether Code Generation > Verification > Create block is set to 'none'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Measure function execution times' setting
Check whether Code Generation > Verification > Measure function execution times is set to 'off'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Signal naming' setting
Check whether Code Generation > Identifiers > Signal naming is set to 'None'.
Passed
Code Generation > Identifiers > Signal naming is set to 'None'.
_________________________________________________________________________________________
Verify 'Parameter naming' setting
Check whether Code Generation > Identifiers > Parameter naming is set to 'None'.
Passed
Code Generation > Identifiers > Parameter naming is set to 'None'.
_________________________________________________________________________________________
Verify 'TLC options' setting
Check whether Code Generation > TLC options is set to '' or '-aMaxStackVariableSize=inf'.
Passed
Code Generation > TLC options is set to '' or '-aMaxStackVariableSize=inf'.
_________________________________________________________________________________________
Verify 'variable-size signals' setting
Check whether Code Generation > Interface > variable-size signals is cleared.
Passed
Code Generation > Interface > variable-size signals is cleared.
_________________________________________________________________________________________
Verify 'Single output/update function' setting
Check whether Code Generation > Interface > Single output/update function is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Generate an example main program' setting
Check whether Code Generation > Templates > Generate an example main program is selected.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Use bitsets for storing Boolean data' setting
Check whether Code Generation > Optimization > Use bitsets for storing Boolean data is cleared.
Passed
Code Generation > Optimization > Use bitsets for storing Boolean data is cleared.
_________________________________________________________________________________________
Verify 'Casting modes' setting
Check whether Code Generation > Code Style > Casting modes is set to 'Nominal' or 'Standards'.
Passed
Code Generation > Code Style > Casting modes is set to 'Nominal' or 'Standards'.
_________________________________________________________________________________________
Verify 'Suppress generation of default cases for Stateflow switch statements if unreachable' setting
Check whether Code Generation > Code Style > Suppress generation of default cases for Stateflow switch statements if unreachable is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
_________________________________________________________________________________________
Verify 'Optimize using the specified minimum and maximum values' setting
Check whether Code Generation > Optimization > Optimize using the specified minimum and maximum values is cleared.
Passed
Code Generation > Optimization > Optimize using the specified minimum and maximum values is cleared.
_________________________________________________________________________________________
Verify 'Existing shared code' setting
Check whether Code Generation > Interface > Existing shared code is set to "" (i.e. unspecified).
Passed
Code Generation > Interface > Existing shared code is set to "".
_________________________________________________________________________________________
Verify 'parameters' setting
Check whether Code Generation > Interface > parameters is cleared.
Passed
Code Generation > Interface > parameters is cleared.
_________________________________________________________________________________________
Verify 'signals' setting
Check whether Code Generation > Interface > signals is cleared.
Passed
Code Generation > Interface > signals is cleared.
_________________________________________________________________________________________
Verify 'states' setting
Check whether Code Generation > Interface > states is cleared.
Passed
Code Generation > Interface > states is cleared.
_________________________________________________________________________________________
Verify 'root-level I/O' setting
Check whether Code Generation > Interface > root-level I/O is cleared.
Passed
Code Generation > Interface > root-level I/O is cleared.
_________________________________________________________________________________________
Verify 'External mode' setting
Check whether Code Generation > Interface > External mode is cleared.
Passed
Code Generation > Interface > External mode is cleared.
_________________________________________________________________________________________
Verify 'Rate Transition block code' setting
Check whether Code Generation > Code Placement > Rate Transition block code is set to 'Inline'.
Warning
This check failed because the following prerequisite(s) for the check failed :Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector Follow the recommended action and rerun the check.
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Verify 'Initial state' setting
Check whether Data Import/Export > Initial state is cleared.
Passed
Data Import/Export > Initial state is cleared.
Verify 'Multitask data store' setting
Check whether Diagnostics > Data Validity > Multitask data store is set to 'error'.
Passed
Diagnostics > Data Validity > Multitask data store is set to 'error'.
_________________________________________________________________________________________
Verify 'Multitask data transfer' setting
Check whether Diagnostics > Sample Time > Multitask data transfer is set to 'error'.
Passed
Diagnostics > Sample Time > Multitask data transfer is set to 'error'.
_________________________________________________________________________________________
Verify 'Multitask conditionally executed subsystem' setting
Check whether Diagnostics > Sample Time > Multitask conditionally executed subsystem is set to 'error'.
Passed
Diagnostics > Sample Time > Multitask conditionally executed subsystem is set to 'error'.
_________________________________________________________________________________________
Verify 'Algebraic loop' setting
Check whether Diagnostics > Algebraic loop is set to 'error'.
Warning
Diagnostics > Algebraic loop is not set to 'error' .
Recommended Action
Set Diagnostics > Algebraic loop to 'error' .
_________________________________________________________________________________________
Verify 'Underspecified initialization detection' setting
Check whether Diagnostics > Data Validity > Underspecified initialization detection is set to 'Simplified'.
Passed
Diagnostics > Data Validity > Underspecified initialization detection is set to 'Simplified'.
_________________________________________________________________________________________
Verify 'Non-bus signals treated as bus signals' setting
Check whether Diagnostics > Connectivity > Non-bus signals treated as bus signals is set to 'error'.
Warning
Diagnostics > Connectivity > Non-bus signals treated as bus signals is not set to 'error' .This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Non-bus signals treated as bus signals to 'error' .
_________________________________________________________________________________________
Verify 'Detect downcast' setting
Check whether Diagnostics > Data Validity > Detect downcast is set to 'error'.
Passed
Diagnostics > Data Validity > Detect downcast is set to 'error'.
_________________________________________________________________________________________
Verify 'Detect overflow' setting
Check whether Diagnostics > Data Validity > Detect overflow is set to 'error'.
Passed
Diagnostics > Data Validity > Detect overflow is set to 'error'.
_________________________________________________________________________________________
Verify 'Wrap on overflow' setting
Check whether Diagnostics > Data Validity > Wrap on overflow is set to 'error'.
Warning
Diagnostics > Data Validity > Wrap on overflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Wrap on overflow to 'error' .
_________________________________________________________________________________________
Verify 'Saturate on overflow' setting
Check whether Diagnostics > Data Validity > Saturate on overflow is set to 'error'.
Warning
Diagnostics > Data Validity > Saturate on overflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Saturate on overflow to 'error' .
_________________________________________________________________________________________
Verify 'Detect underflow' setting
Check whether Diagnostics > Data Validity > Detect underflow is set to 'error'.
Warning
Diagnostics > Data Validity > Detect underflow is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Detect underflow to 'error' .
_________________________________________________________________________________________
Verify 'Detect loss of tunability' setting
Check whether Diagnostics > Data Validity > Detect loss of tunability is set to 'error'.
Warning
Diagnostics > Data Validity > Detect loss of tunability is not set to 'error' .
Recommended Action
Set Diagnostics > Data Validity > Detect loss of tunability to 'error' .
_________________________________________________________________________________________
Verify 'Allow symbolic dimension specification' setting
Check whether Diagnostics > Allow symbolic dimension specification is cleared.
Warning
Diagnostics > Allow symbolic dimension specification is selected.
Recommended Action
Clear the Diagnostics > Allow symbolic dimension specification checkbox.
_________________________________________________________________________________________
Verify 'Invalid root Inport/Outport block connection' setting
Check whether Diagnostics > Model Referencing > Invalid root Inport/Outport block connection is set to 'error'.
Warning
Diagnostics > Model Referencing > Invalid root Inport/Outport block connection is not set to 'error' .
Recommended Action
Set Diagnostics > Model Referencing > Invalid root Inport/Outport block connection to 'error' .
_________________________________________________________________________________________
Verify 'Unexpected backtracking' setting
Check whether Diagnostics > Stateflow > Unexpected backtracking is set to 'error'.
Passed
Diagnostics > Stateflow > Unexpected backtracking is set to 'error'.
_________________________________________________________________________________________
Verify 'Invalid input data access in chart initialization' setting
Check whether Diagnostics > Stateflow > Invalid input data access in chart initialization is set to 'error'.
Warning
Diagnostics > Stateflow > Invalid input data access in chart initialization is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Invalid input data access in chart initialization to 'error' .
_________________________________________________________________________________________
Verify 'No unconditional default transitions' setting
Check whether Diagnostics > Stateflow > No unconditional default transitions is set to 'error'.
Passed
Diagnostics > Stateflow > No unconditional default transitions is set to 'error'.
_________________________________________________________________________________________
Verify 'Transition outside natural parent' setting
Check whether Diagnostics > Stateflow > Transition outside natural parent is set to 'error'.
Warning
Diagnostics > Stateflow > Transition outside natural parent is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Transition outside natural parent to 'error' .
_________________________________________________________________________________________
Verify 'Unreachable execution path' setting
Check whether Diagnostics > Stateflow > Unreachable execution path is set to 'error'.
Warning
Diagnostics > Stateflow > Unreachable execution path is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Unreachable execution path to 'error' .
_________________________________________________________________________________________
Verify 'Undirected event broadcasts' setting
Check whether Diagnostics > Stateflow > Undirected event broadcasts is set to 'error'.
Warning
Diagnostics > Stateflow > Undirected event broadcasts is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Undirected event broadcasts to 'error' .
_________________________________________________________________________________________
Verify 'Transition action specified before condition action' setting
Check whether Diagnostics > Stateflow > Transition action specified before condition action is set to 'error'.
Warning
Diagnostics > Stateflow > Transition action specified before condition action is not set to 'error' .
Recommended Action
Set Diagnostics > Stateflow > Transition action specified before condition action to 'error' .
_________________________________________________________________________________________
Verify Bus signal treated as vector setting
Check whether Diagnostics > Connectivity > Bus signal treated as vector is set to 'error'
Warning
Diagnostics > Connectivity > Bus signal treated as vector is not set to error.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Diagnostics > Connectivity > Bus signal treated as vector to error.
Verify 'char' setting
Check whether Hardware Implementation > char is set to '8'.
Passed
Hardware Implementation > char is set to '8'.
_________________________________________________________________________________________
Verify 'short' setting
Check whether Hardware Implementation > short is set to '16'.
Passed
Hardware Implementation > short is set to '16'.
_________________________________________________________________________________________
Verify 'int' setting
Check whether Hardware Implementation > int is set to '32'.
Passed
Hardware Implementation > int is set to '32'.
_________________________________________________________________________________________
Verify 'long' setting
Check whether Hardware Implementation > long is set to '32'.
Passed
Hardware Implementation > long is set to '32'.
_________________________________________________________________________________________
Verify 'float' setting
Check whether Hardware Implementation > float is set to '32'.
Passed
Hardware Implementation > float is set to '32'.
_________________________________________________________________________________________
Verify 'double' setting
Check whether Hardware Implementation > double is set to '64'.
Passed
Hardware Implementation > double is set to '64'.
_________________________________________________________________________________________
Verify 'pointer' setting
Check whether Hardware Implementation > pointer is set to '32'.
Warning
Hardware Implementation > pointer is not set to '32' .
Recommended Action
Set Hardware Implementation > pointer to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'size_t' setting
Check whether Hardware Implementation > size_t is set to '32'.
Warning
Hardware Implementation > size_t is not set to '32' .
Recommended Action
Set Hardware Implementation > size_t to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'ptrdiff_t' setting
Check whether Hardware Implementation > ptrdiff_t is set to '32'.
Warning
Hardware Implementation > ptrdiff_t is not set to '32' .
Recommended Action
Set Hardware Implementation > ptrdiff_t to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'native' setting
Check whether Hardware Implementation > native is set to '32'.
Warning
Hardware Implementation > native is not set to '32' .
Recommended Action
Set Hardware Implementation > native to '32' . Select a compatible device with attributes matching those listed in the SLCI Hardware Implementation checks and the SLCI documentation.
_________________________________________________________________________________________
Verify 'Signed integer division rounds to' setting
Check whether Hardware Implementation > Signed integer division rounds to is set to 'Zero'.
Passed
Hardware Implementation > Signed integer division rounds to is set to 'Zero'.
_________________________________________________________________________________________
Verify 'Shift right on a signed integer as arithmetic shift' setting
Check whether Hardware Implementation > Shift right on a signed integer as arithmetic shift is selected.
Passed
Hardware Implementation > Shift right on a signed integer as arithmetic shift is selected.
_________________________________________________________________________________________
Verify 'Support long long' setting
Check whether Hardware Implementation > Support long long is cleared.
Passed
Hardware Implementation > Support long long is cleared.
_________________________________________________________________________________________
Verify 'Test hardware is the same as production hardware' setting
Check whether Hardware Implementation > Test hardware is the same as production hardware is selected.
Passed
Hardware Implementation > Test hardware is the same as production hardware is selected.
_________________________________________________________________________________________
Verify 'Device vendor' setting
Identify whether Hardware Implementation > Device vendor is not set to 'ASIC/FPGA->ASIC/FPGA' .
Passed
Hardware Implementation > Device vendor is not set to 'ASIC/FPGA->ASIC/FPGA' .
Verify 'Implement logic signals as Boolean data (vs. double)' setting
Check whether Math and Data Types > Implement logic signals as Boolean data (vs. double) is selected.
Passed
Math and Data Types > Implement logic signals as Boolean data (vs. double) is selected.
_________________________________________________________________________________________
Verify 'Use algorithms optimized for row-major array layout' setting
Check whether Math and Data Types > Use algorithms optimized for row-major array layout is cleared.
Passed
Math and Data Types > Use algorithms optimized for row-major array layout is cleared.
Verify 'Type' setting
Check whether Solver > Type is set to 'Fixed-step'.
Warning
Solver > Type is not set to 'Fixed-step' .
Recommended Action
Set Solver > Type to 'Fixed-step' .
_________________________________________________________________________________________
Verify 'Solver' setting
Check whether Solver > Solver is set to 'FixedStepDiscrete'.
Warning
Solver > Solver is not set to 'FixedStepDiscrete' .
Recommended Action
Set Solver > Solver to 'FixedStepDiscrete' .
_________________________________________________________________________________________
Verify 'Periodic sample time constraint' setting
Check whether Solver > Periodic sample time constraint is set to 'Unconstrained' or 'STIndependent'.
Warning
This check failed because the following prerequisite(s) for the check failed : Solver > Type is not set to 'Fixed-step' . Follow the recommended action and rerun the check.
Recommended Action
Set Solver > Type to 'Fixed-step' .
_________________________________________________________________________________________
Verify 'Automatically handle rate transition for data transfer' setting
Check whether Solver > Automatically handle rate transition for data transfer is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed : Solver > Type is not set to 'Fixed-step' . Follow the recommended action and rerun the check.
Recommended Action
Set Solver > Type to 'Fixed-step' .
_________________________________________________________________________________________
Verify 'Allow tasks to execute concurrently on target' setting
Check whether Solver > Allow tasks to execute concurrently on target is cleared.
Passed
Solver > Allow tasks to execute concurrently on target is cleared.
Check for unconnected objects
Identify unconnected lines, input ports, and output ports in the model or subsystem
Warning
The following lines, input ports, or output ports are not properly connected in system:
Verify System target file setting
Check whether Code Generation > System target file is ert.tlc or a System target file derived from ERT
Warning
Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Check model interface settings
Check whether the Configure arguments for Step function prototype setting in the Configure C Step Function Interface dialog box is cleared.
Warning
This check failed because the following prerequisite(s) for the check failed :
Code Generation > System target file is not set to ert.tlc or a System target file derived from ERT.This incompatibility is fatal and will prevent execution of the Code Inspector
Recommended Action
Set Code Generation > System target file to ert.tlc or a System target file derived from ERT.
Check for blocks not supported by Simulink Code Inspector
Identify blocks that are not supported by Simulink Code Inspector
Warning
The following block(s) are not supported by Simulink Code Inspector:
All Stateflow data must be parented by a Stateflow chart
Simulink Code Inspector does not support Stateflow data of machine scope
Passed
No Stateflow data is of machine scope.
All Stateflow events must be parented by a Stateflow chart
Simulink Code Inspector does not support Stateflow events of machine scope
Passed
No Stateflow events are of machine scope.
Check non-inlined user defined functions with global variables in MATLAB code
Simulink Code Inspector supports non-inlined user defined functions with global variables in MATLAB code when they are not inside a reusable or void-void subsystem and model parameter 'Code interface packaging (CodeInterfacePackaging)' is set to 'Nonreusable function'
Passed
Non-inlined user defined functions in MATLAB code are supported
_________________________________________________________________________________________
Check that array subscripting in MATLAB code uses a constant index of 1 for a corresponding dimension of size 1
Simulink Code Inspector does not support array subscripting in MATLAB code if an index value other than 1 is used for a corresponding dimension of size 1
Passed
Array subscripting in MATLAB code uses a constant index value of 1 for a corresponding dimension of size 1
_________________________________________________________________________________________
Check that array indexing in MATLAB code uses a subscript that is less than or equal to the array base dimension
Simulink Code Inspector does not support array indexing in MATLAB code if the subscript is greater than the array base dimension
Passed
Array indexing in MATLAB code uses subscripts less than or equal to the array base dimension
_________________________________________________________________________________________
Check that colon operators in MATLAB code have no more than 3 operands
Simulink Code Inspector does not support colon operators that have more than 3 operands.
Passed
No colon operators having more than 3 operands were found in MATLAB code
_________________________________________________________________________________________
Check that colon operators in MATLAB code use only integer and double data
Simulink Code Inspector only supports colon operators in MATLAB code that use integer or double data
Passed
All colon operators in MATLAB code use only integer or double data
_________________________________________________________________________________________
Check that data used in MATLAB function is of a supported data type
Simulink Code Inspector supports the following data types in MATLAB functions: built-in, bus and enumerated types inherited from 'Simulink.IntEnumType' with default value 0
Passed
All data used in MATLAB function is of supported data type.
_________________________________________________________________________________________
Check that code in MATLAB function is of a supported dimension
Check for code in MATLAB function that only supports 'scalar', 'vector' or 'matrix' dimensions
Passed
No code with unsupported dimension was found.
_________________________________________________________________________________________
Check for nonempty brackets in MATLAB code
Simulink Code Inspector does not support brackets with no operands in Matlab code
Passed
No brackets with empty operands were found in MATLAB code
_________________________________________________________________________________________
Check that data defined in MATLAB function is of a double or single data type
Simulink Code Inspector only supports data of a double or single type in MATLAB functions
Passed
All data defined in MATLAB functions is of a double or single data type
_________________________________________________________________________________________
Check that for statements in MATLAB code have index ranges that are mono incremental colon expressions
Simulink Code Inspector does not support for statements with index ranges that are not mono incremental colon expressions
Passed
There are no for statements with index ranges that are not mono incremental colon expressions as index range in the MATLAB code
_________________________________________________________________________________________
Check that for statements in MATLAB code have index range values that are literal const integers
Simulink Code Inspector does not support for statements with index range values that are not literal const integers
Warning
The following MATLAB code contains for statements with index range values that are not literal const integers:
Check that if statements in MATLAB code use conditions that are scalar
Simulink Code Inspector does not support if statements in MATLAB code if the conditions are not scalar
Passed
If statements in MATLAB code use conditions that are scalar
_________________________________________________________________________________________
For MATLAB root function, do not specify coder.inline directive or set coder.inline directive to 'always'. For user defined MATLAB functions, explicitly set coder.inline directive to 'always' or 'never'
For user defined MATLAB functions, coder.inline directive must be explicitly set to 'always' or 'never'
Passed
MATLAB root functions and user defined MATLAB functions use supported coder.inline directives
_________________________________________________________________________________________
Check usage of inner functions in MATLAB code
Simulink Code Inspector does not support functions defined inside the body of another function in MATLAB code
Passed
The model defines no inner function in MATLAB code
_________________________________________________________________________________________
Check that math functions in MATLAB code use only integer and floating-point data
Simulink Code Inspector only supports math functions in MATLAB code that use integer or floating-point data
Passed
All math functions in MATLAB code use only integer or floating-point data
_________________________________________________________________________________________
Check that no code in MATLAB functions has missing data type information
Simulink Code Inspector does not support MATLAB functions that contain code with missing data type information
Passed
No MATLAB functions contain code with missing data type information
_________________________________________________________________________________________
Check that no code in MATLAB functions has missing dimension information
Simulink Code Inspector does not support MATLAB functions that contain code with missing dimension information
Passed
No MATLAB functions contain code with missing dimension information
_________________________________________________________________________________________
Check that all function calls in MATLAB code resolve to a known function definition
Simulink Code Inspector can not support function calls that do not resolve to a known function definition
Warning
The following MATLAB function calls do not resolve to a known function definition
| MATLAB function block | Code | |
|---|---|---|
| PruebaSS/ROBOT SS1/DOF/theta_act |
|
|
| PruebaSS/ROBOT SS1/Subsystem/Rot 2 eul |
|
Check that operators used in MATLAB functions do not have operands of different data dimensions
Simulink Code Inspector does not support MATLAB functions that have operators whose operands are of different data dimensions.
Passed
No MATLAB function contains operators that have operands of different data dimensions.
_________________________________________________________________________________________
Check that operators used in MATLAB functions do not have operands with mixed data type
Simulink Code Inspector does not support MATLAB functions with operators of mixed data type
Passed
No MATLAB function contains operators with mixed data type.
_________________________________________________________________________________________
Check that conditional initialization of persistent variables uses an 'if' statement with a single isempty(persistent) or ~isempty(persistent) condition
Simulink Code Inspector does not support conditional initialization of a persistent variable in MATLAB code that does not use isempty(persistent) or ~isempty(persistent) in the 'if' statement
Passed
Conditional initialization of persistent variables in MATLAB code uses 'if' statement with single isempty(persistent) or ~isempty(persistent) condition
_________________________________________________________________________________________
Check that there is only one initialization statement of a persistent variable in 'if' statement body
Simulink Code Inspector does not support multiple initialization statements of a persistent variable in MATLAB code in the 'if' statement body
Passed
Conditional initialization of persistent variables in MATLAB code contains one statement in 'if' statement
_________________________________________________________________________________________
Check usage of recursive functions in MATLAB code
Simulink Code Inspector does not support recursive functions in MATLAB code
Passed
The model defines no recursive function in MATLAB code
_________________________________________________________________________________________
Check that the 'Loop unrolling threshold' does not result in partially unrolled loops in the generated code when using matrix operations in MATLAB code
Simulink Code Inspector does not support matrix operations in MATLAB code if the 'Loop unrolling threshold' results in partially unrolled loops in the generated code.
Passed
'Loop unrolling threshold' is compatible with matrix operations in MATLAB code
_________________________________________________________________________________________
Check that for statements in MATLAB code have scalar index values
Simulink Code Inspector does not support for statements that have non-scalar index values
Passed
There are no for statements with non-scalar index values in the MATLAB code
_________________________________________________________________________________________
Check that operators and functions in MATLAB code have supported operand dimensions
Check for non-scalar operands of operators and functions with only scalar support
Passed
No operators or functions use unsupported nonscalar operands in MATLAB code
_________________________________________________________________________________________
Check for unsupported MATLAB code in MATLAB functions
Check for usage of unsupported MATLAB code in MATLAB functions
Passed
No unsupported MATLAB code was found in MATLAB functions
_________________________________________________________________________________________
Check MATLAB code used in MATLAB Function blocks
Passed
No issues in MATLAB Function blocks found
_________________________________________________________________________________________
Check MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Check the code generation folder structure for the model
Check that the code generation folder structure for the model is supported
Passed
The code generation folder structure for the model is supported
Check for unsupported usage of Storage Class on the Data Defaults tab of the Code Mappings editor.
Identify unsupported Storage Class settings for model element categories on the Data Defaults tab of the Code Mappings editor.
Passed
There is no unsupported Storage Class setting for model element categories on the Data Defaults tab of the Code Mappings editor.